So What is This About?

Computational Logic:proof theory, computational complexity and automated deduction.

Participation

http://www.computational-logic.org/index.php

https://tu-dresden.de/